Parallel Systems

CMAPS: A Cosynthesis Methodology for Application-Oriented General-Purpose Parallel Systems

Industrial Automation / Computer Hardware / System Design / Computer Software / Requirements Analysis / Requirement analysis / Parallel Computer / Hardware Software Codesign / Parallel Systems / Directed Acyclic Graph / Requirement analysis / Parallel Computer / Hardware Software Codesign / Parallel Systems / Directed Acyclic Graph

YapOr: an Or-Parallel Prolog System Based on Environment Copying

Parallel Processing / Data Structure / Parallel Systems

Optimization of a kinetic laser–plasma interaction code for large parallel systems

Cognitive Science / Distributed Computing / Parallel Computing / Kinetics / Data Management / Particle in Cell / Parallel Computer / High performance computer / Domain Decomposition / Parallel Systems / Particle in Cell / Parallel Computer / High performance computer / Domain Decomposition / Parallel Systems

YapOr: an Or-Parallel Prolog System Based on Environment Copying

Parallel Processing / Data Structure / Parallel Systems

Yapor: an or-parallel prolog system based on environment copying

Parallel Processing / Data Structure / Parallel Systems

A control theoretic approach to energy-efficient pipelined computation in MPSoCs

Distributed Computing / Energy Consumption / Computer Hardware / Computer Software / Feedback Control / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems

A control theoretic approach to energy-efficient pipelined computation in MPSoCs

Distributed Computing / Energy Consumption / Computer Hardware / Computer Software / Feedback Control / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems

Implementation of a portable and reproducible parallel pseudorandom number generator

Monte Carlo / Parallel Processing / Pseudorandom Number Generator / Parallel Systems

Reconfigurable Computing Machines: An Empirical Analysis

Image Processing / Reconfigurable Computing / Scientific Computing / System Reliability / Experimental Study / Field Programmable Gate Array / High performance computer / Empirical Analysis / Parallel Systems / Field Programmable Gate Array / High performance computer / Empirical Analysis / Parallel Systems

Analytical response time estimation in parallel relational database systems

Cognitive Science / Distributed Computing / Parallel Computing / Relational Database / Parallel and distributed Databases / Analytical Model / Neuropsychologia / Parallel Machines / Analytical Modelling / Waiting Time / Parallel Systems / Analytical Model / Neuropsychologia / Parallel Machines / Analytical Modelling / Waiting Time / Parallel Systems

Initial Experiences Porting a Bioinformatics Application to a Graphics Processor

Bioinformatics / Distributed Computing / Informatics / Distributed System / Graphics / Compiler Optimization / High performance / Phylogenetic Tree / Parallel Systems / Compiler Optimization / High performance / Phylogenetic Tree / Parallel Systems

Initial Experiences Porting a Bioinformatics Application to a Graphics Processor

Bioinformatics / Distributed Computing / Informatics / Distributed System / Graphics / Compiler Optimization / High performance / Phylogenetic Tree / Parallel Systems / Compiler Optimization / High performance / Phylogenetic Tree / Parallel Systems

A model for recursive-parallel programs

Cognitive Science / Computer Software / Formal Model / Parallel Systems / Transition Systems

Decidable first-order transition logics for PA-processes

Model Checking / First-Order Logic / First Order Logic / Parallel Systems

Decidable First-Order Transition Logics for PA-Processes

Model Checking / First-Order Logic / Tree Automata / Parallel Systems
Copyright © 2017 DATOSPDF Inc.